机译：自动化空中交通管制系统的协调协议的正式规范和验证
机译：正式指定和验证自动空中交通管制系统的协调协议
机译：在空中交通管制的十字路口上I.从地面看，机场拥挤； IFR公共室；当前和将来的自动化系统；美国联邦航空局的计划；空中交通管制员的问题
机译：使用自动化工具对通讯协议进行正式规范和验证
机译：协作软件系统的协调协议的规范和半自动验证
机译：基于脑-计算机接口的自适应自动化可防止空中交通管制员处理高度自动化系统时出现超限现象
机译：空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
机译：使用指导和控制软件（GCs）实验中的形式化规范。生命关键系统的正规设计和验证技术
